Gordon Plotkin：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

捐款

书籍 (15)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

Logical frameworks

Cambridge University Press

Gèrard Huet, Gordon Plotkin

年:

1991

语言:

english

文件:

PDF, 4.28 MB

0 / 0

english, 1991

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Cambridge University Press

Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin

年:

2009

语言:

english

文件:

PDF, 4.04 MB

0 / 0

english, 2009

Transactions on Computational Systems Biology VI

Springer-Verlag Berlin Heidelberg

Pierre-Yves Bourguignon, Vincent Danos (auth.), Corrado Priami, Gordon Plotkin (eds.)

年:

2006

语言:

english

文件:

PDF, 4.42 MB

0 / 0

english, 2006

Proof, Language, and Interaction: Essays in Honour of Robin Milner

The MIT Press

Gordon Plotkin, Colin P. Stirling, Mads Tofte

年:

2000

语言:

english

文件:

DJVU, 6.43 MB

0 / 0

english, 2000

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

年:

1995

语言:

english

文件:

DJVU, 3.54 MB

0 / 0

english, 1995

Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Gordon Plotkin (auth.), Takayasu Ito, Albert R. Meyer (eds.)

年:

1991

语言:

english

文件:

DJVU, 6.07 MB

0 / 0

english, 1991

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Cambridge University Press

Yves Bertot, Gerard Huet, Jean-Jacques Levy & Gordon Plotkin (edt)

年:

2009

语言:

english

文件:

PDF, 4.04 MB

0 / 0

english, 2009

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Gordon Plotkin (auth.), Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.)

年:

2009

语言:

english

文件:

PDF, 5.60 MB

0 / 0

english, 2009

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Gordon Plotkin, John Power (auth.), Furio Honsell, Marino Miculan (eds.)

年:

2001

语言:

english

文件:

PDF, 4.71 MB

0 / 0

english, 2001

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Gordon Plotkin (auth.), Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.)

年:

2009

语言:

english

文件:

PDF, 5.54 MB

0 / 0

english, 2009

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Gordon Plotkin, John Power (auth.), Furio Honsell, Marino Miculan (eds.)

年:

2001

语言:

english

文件:

PDF, 3.77 MB

0 / 0

english, 2001

Transactions on Computational Systems Biology VI

Springer-Verlag Berlin Heidelberg

Pierre-Yves Bourguignon, Vincent Danos (auth.), Corrado Priami, Gordon Plotkin (eds.)

年:

2006

语言:

english

文件:

PDF, 3.08 MB

0 / 0

english, 2006

Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings

Springer-Verlag Berlin Heidelberg

R. Burstall, B. Lampson (auth.), Gilles Kahn, David B. MacQueen, Gordon Plotkin (eds.)

年:

1984

语言:

english

文件:

DJVU, 4.16 MB

0 / 0

english, 1984

Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings

Springer-Verlag Berlin Heidelberg

R. Burstall, B. Lampson (auth.), Gilles Kahn, David B. MacQueen, Gordon Plotkin (eds.)

年:

1984

语言:

english

文件:

PDF, 8.89 MB

0 / 0

english, 1984

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

年:

1995

语言:

english

文件:

PDF, 6.89 MB

0 / 0

english, 1995